|
|
Reactive Kripke Semantics
by Gabbay, Dov M.
Publication:
. XII, 442 p. 201 illus., 10 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Deductive Spreadsheet
by Cervesato, Iliano.
Publication:
. XXI, 406 p. 98 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SemProM
by Wahlster, Wolfgang.
Publication:
. XV, 400 p. 166 illus., 146 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Complexity of Valued Constraint Satisfaction Problems
by Živný, Stanislav.
Publication:
. XVII, 170 p. 23 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ubiquitous Display Environments
by Krüger, Antonio.
Publication:
. VIII, 228 p. 84 illus., 63 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Analysis of Rare Categories
by He, Jingrui.
Publication:
. VIII, 136 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Language Grid
by Ishida, Toru.
Publication:
. X, 306 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conditionals and Modularity in General Logics
by Gabbay, Dov M.
Publication:
. IX, 233 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Contextual Computing
by Porzel, Robert.
Publication:
. XI, 180 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multiparadigm Constraint Programming Languages
by Hofstedt, Petra.
Publication:
. XII, 180 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Working with Preferences: Less Is More
by Kaci, Souhila.
Publication:
. XVI, 204 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Knowledge in Formation
by Sarbo, Janos J.
Publication:
. XII, 217 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Qualitative Spatial Abstraction in Reinforcement Learning
by Frommberger, Lutz.
Publication:
. XVII, 174 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Emotion-Oriented Systems
by Cowie, Roddy.
Publication:
. XXII, 794 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parsing Beyond Context-Free Grammars
by Kallmeyer, Laura.
Publication:
. XII, 248 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Revision, Acceptability and Context
by Gabbay, Dov M.
Publication:
. X, 386 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logical Tools for Handling Change in Agent-Based Systems
by Gabbay, Dov M.
Publication:
. X, 305p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Resource-Adaptive Cognitive Processes
by Crocker, Matthew W.
Publication:
. XI, 423p. 151 illus., 72 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Rule Learning
by Fürnkranz, Johannes.
Publication:
. XVII, 336 p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cognitive Reasoning
by Gergely, Tamás.
Publication:
. X, 437p.
Availability:
Copies available:
AUM Main Library
(1),
|
|